大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Symposium on Methods for the Implementation of Algorithmic Languages 的图书(共5677本)

Partial Differential Equations 2 [electronic resource] : Functional Analytic Methods

0
索取号：
作者：Sauvigny、 Friedrich.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Advances in Neural Networks - ISNN 2006 [electronic resource] : Third International Symposium on Neural Networks, Chengdu, China, May 28 - June 1, 2006, Proceedings, Part I

0
索取号：
作者：Wang、 Jun.、Yi、 Zhang.、Zurada、 Jacek M.、Lu、 Bao-Liang.、Yin、 Hujun.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Advances in Neural Networks - ISNN 2006 [electronic resource] : Third International Symposium on Neural Networks, Chengdu, China, May 28 - June 1, 2006, Proceedings, Part II

0
索取号：
作者：Wang、 Jun.、Yi、 Zhang.、Zurada、 Jacek M.、Lu、 Bao-Liang.、Yin、 Hujun.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

An Introduction to Language Processing with Perl and Prolog [electronic resource] : An Outline of Theories, Implementation, and Application with Special Consideration of English, French, and German

0
索取号：
作者：Nugues、 Pierre M.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Formal Methods for Hardware Verification [electronic resource] : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures

0
索取号：
作者：Bernardo、 Marco.、Cimatti、 Alessandro.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Operator Algebras [electronic resource] : The Abel Symposium 2004

0
索取号：
作者：Bratteli、 Ola.、Neshveyev、 Sergey.、Skau、 Christian.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Computer Science-Theory and Applications [electronic resource] : First International Computer Science Symposium in Russia, CSR 2006, St. Petersburg, Russia, June 8-12. 2006. Proceedings

0
索取号：
作者：Grigoriev、 Dima.、Harrison、 John.、Hirsch、 Edward A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Atmosphere and Climate [electronic resource] : Studies by Occultation Methods

0
索取号：
作者：Foelsche、 Ulrich.、Kirchengast、 Gottfried.、Steiner、 Andrea.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Computer Music Modeling and Retrieval [electronic resource] : Third International Symposium, CMMR 2005, Pisa, Italy, September 26-28, 2005. Revised Papers

0
索取号：
作者：Kronland-Martinet、 Richard.、Voinier、 Thierry.、Ystad、 S酶lvi.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Recent Advances in Formal Languages and Applications [electronic resource]

0
索取号：
作者：Esik、 Zolt谩n.、Mart铆n-Vide、 Carlos.、Mitrana、 Victor.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Functional and Logic Programming [electronic resource] : 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006. Proceedings

0
索取号：
作者：Hagiya、 Masami.、Wadler、 Philip.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Relational Methods in Computer Science [electronic resource] : 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers

0
索取号：
作者：MacCaull、 Wendy.、Winter、 Michael.、D眉ntsch、 Ivo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

New Results in Numerical and Experimental Fluid Mechanics V [electronic resource] : Contributions to the 14th STAB/DGLR Symposium Bremen, Germany 2004

0
索取号：
作者：Rath、 Hans-Josef.、Holze、 Carsten.、Heinemann、 Hans-Joachim.、Henke、 Rolf.、H枚nlinger、 Heinz.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Algorithmic Information Theory [electronic resource] : Mathematics of Digital Information

0
索取号：
作者：Seibt、 Peter.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Topics in Acoustic Echo and Noise Control [electronic resource] : Selected Methods for the Cancellation of Acoustical Echoes, the Reduction of Background Noise, and Speech Processing

0
索取号：
作者：H盲nsler、 Eberhard.、Schmidt、 Gerhard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Software Engineering 2 [electronic resource] : Specification of Systems and Languages

0
索取号：
作者：Bj酶rner、 Dines.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.